39 research outputs found
Fuzzy inequational logic
We present a logic for reasoning about graded inequalities which generalizes
the ordinary inequational logic used in universal algebra. The logic deals with
atomic predicate formulas of the form of inequalities between terms and
formalizes their semantic entailment and provability in graded setting which
allows to draw partially true conclusions from partially true assumptions. We
follow the Pavelka approach and define general degrees of semantic entailment
and provability using complete residuated lattices as structures of truth
degrees. We prove the logic is Pavelka-style complete. Furthermore, we present
a logic for reasoning about graded if-then rules which is obtained as
particular case of the general result
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections
We study the semantics of fuzzy if-then rules called fuzzy attribute
implications parameterized by systems of isotone Galois connections. The rules
express dependencies between fuzzy attributes in object-attribute incidence
data. The proposed parameterizations are general and include as special cases
the parameterizations by linguistic hedges used in earlier approaches. We
formalize the general parameterizations, propose bivalent and graded notions of
semantic entailment of fuzzy attribute implications, show their
characterization in terms of least models and complete axiomatization, and
provide characterization of bases of fuzzy attribute implications derived from
data